TypeScript: const assertion (as const)

widening を抑止する

code:ts

const testObj = { name: "aaa", age: 25 }

testObj.name = "hello" # これはコンパイルエラーになる

readonly は プロパティごとにつけられる

一部だけreadonly にしたい場合はこっちを使う

as const は 再帰的に readonly になる

オブジェクトの中にオブジェクトがある場合、readonly を使うと再帰的には指定できない

as const を使うと再帰的に適用される

配列の値からunion型を生成するときに as const を使う

code:ts

// "a" | "b" | "c"

widening の抑止について

widening とは、型推論を拡大して行うこと

例

code:ts

const age = 18

code:ts

const myObject = {

age: 18,

name: "鈴木",

};

// 推論結果

// {

// age: number,

// name: string

//}

このときは、推論結果が number と拡大される。

オブジェクトや配列、let の時は widening が行われる

as const を使うと、widening が抑止されて、リテラル型となる

code:ts

export const myObject = {

age: 18,

name: "鈴木",

} as const;